kernel of homomorphism